Union Types for Object-Oriented Programming.
نویسندگان
چکیده
منابع مشابه
Session and Union Types for Object Oriented Programming
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this paper we propose union types for refining and enhancing the flexibility of session types in the context of communication centred and object ...
متن کاملUnion-Types in Object-Oriented Schemes
In this paper we investigate union-types in object oriented IQL-like schemas. These types can be used to model null values, variant types and generalization classes. They make, however, deciding equivalence and subtyping more difficult. We will show that the complexity of these two problems is co-NP-complete and present complete sets of rules for deciding both problems. The combination of union...
متن کاملIndexed Types in Object-Oriented Programming
Dependent type systems allow semantic properties to be expressed in types that carry important information about program values. The type systems in mainstream languages such as Java are effective but have a limited expressive power. We propose to extend a simple Java-like language with indexed types, a form of dependent types defined on index expressions that can statically detect many program...
متن کاملObject-Oriented Programming with Protected Types
Integrating concurrent and object-oriented language facilities is currently an active research area. There are a few experimental languages which attempt to combine various models of concurrency within an OOP framework. Most of these suffer from the so called inheritance anomaly where a concurrent object’s synchronisation code needs to be modijied if the object is extended. Ada 95 has avoided s...
متن کاملObject-Oriented Programming Versus Abstract Data Types
This tutorial collects and elaborates arguments for distinguishing between object-oriented programming and abstract data types. The basic distinction is that object-oriented programming achieves data abstraction by the use of procedural abstraction, while abstract data types depend upon type abstraction. Object-oriented programming and abstract data types can also be viewed as complimentary imp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2007
ISSN: 1660-1769
DOI: 10.5381/jot.2007.6.2.a3